\begin{proposition}[#selstart#nickname#selend#]
  #select##insertion#
\end{proposition}

